1. Hilbert's Program :
Author: by Michael Detlefsen.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic, Symbolic and mathematical.,Logic.,Philosophy (General)
2. Proof, logic, and formalizatio
Author: / edited by Michael Detlefsen
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Proof theory.,Logic, Symbolic and mathematical.
Classification :
QA
,
9
.
54
,.
P77
,
1991
,
WEB
3. Proof, logic, and formalization
Author: / edited by Michael Detlefsen
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject:
Classification :
E-BOOK
4. Proof, logic, and formalization
Author: / edited by Michael Detlefsen
Library: Farabi Faculty Library, University of Tehran (Qom)
Subject: Proof theory,Logic, Symbolic and mathematical
Classification :
QA
9
.
54
.
P77
1991
5. Proof, logic, and formalization
Author: edited by Michael Detlefsen
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Proof theory,، Logic, Symbolic and mathematical
Classification :
QA
9
.
54
.
P75
6. Proof, logic, and formalization
Author: edited by Michael Detlefsen
Library: Library of Mofid University (Qom)
Subject: ، Proof theory,، Logic, Symbolic and mathematical,، Logique symbolique et math?شmatique,، Math?شmatiques - Philosophie,، Preuve, Th?شorie de la,، Aufsatzsammlung
Classification :
QA9
.
54
.
P77
1991
